机译:多处理器与分布式系统设计:随机过程代数的功能规范与性能分析的集成
机译:基于离散实时和随机过程代数的分布式系统性能评估
机译:用于分布式内存多处理器系统上的功能并行性的可伸缩调度方案
机译:对称多处理器群集上的高性能分布式共享内存的设计问题
机译:并行和分布式实时嵌入式多处理器信号处理系统的规范和设计方法框架的计算模型
机译:将可靠性分析和优化集成到分布式嵌入式系统设计过程中。
机译:使用随机过程代数PEPA的临床路径建模和性能分析
机译:使用高性能中间件的嵌入式多处理器信号处理系统的新规范和设计方法